Require Import Arith.
Check nat.
Print nat.
